($\lambda$$n$,$z$. fib($n$)) $\in$ $\mathbb{N}\rightarrow\downarrow$True$\rightarrow\mathbb{N}$